<?php

  $setup->alterColumn("contract", "number", "contractnumber", "varchar(20)");

?>